https://dasbestelexikon.de/fr/wiki/Juge_d'instruction_en_France